Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19

Source URL: ect.bell-labs.com

• Logic in computer science
• Programming language semantics
• Type theory
• Logic programming
• Automated theorem proving
• Operational semantics
• Substitution
• Syntax
• Type system
• Semantics
• C++ classes
• Monad

A Logic Programming Language based on Binding Algebras Makoto Hamana Department of Computer Science, University of Gunma

Source URL: www.cs.gunma-u.ac.jp

JuMP: A MODELING LANGUAGE FOR MATHEMATICAL OPTIMIZATION IAIN DUNNING, JOEY HUCHETTE, MILES LUBIN ∗

Source URL: www.optimization-online.org

• Mathematical optimization
• Operations research
• Numerical software
• Computer algebra systems
• AMPL
• Algebraic modeling language
• Linear programming
• Gurobi
• Automatic differentiation
• Nl
• Pyomo
• SCIP

 OBJECT-ORIENTED PROGRAMMING AND THE OBJECTIVE-C LANGUAGE NeXT DEVELOPER’S LIBRARY

Source URL: gnustep.org

The Rust Programming Language The Rust Team 2

Source URL: killercup.github.io

Experience Report: Porting Packages from Pharo to VA Smalltalk John O’Keefe Principal Smalltalk Architect Instantiation, Inc.

Source URL: www.objektfabrik.de

• Software engineering
• Computer programming
• Programming language theory
• Smalltalk
• Pharo
• Squeak
• Seaside
• Extension method
• Draft:Cuis Smalltalk

West Virginia University ACADEMIC STATUS UPDATE FOR GENERAL STUDENT - -

Source URL: assets.slate.wvu.edu

• Software engineering
• Computing
• Programming language theory
• Procedural programming languages
• C
• Cross-platform software

ISMIR 2008 – Session 1d – MIR Platforms SUPPORT FOR MIR PROTOTYPING AND REAL-TIME APPLICATIONS IN THE CHUCK PROGRAMMING LANGUAGE Rebecca Fiebrink

Source URL: soundlab.cs.princeton.edu

Optimizing the Runtime Processing of Types in a Higher-Order Logic Programming Language Gopalan Nadathur and Xiaochu Qi Department of Computer Science and Engineering, University of Minnesota, 4-192 EE/CS Building, 200 U

Source URL: www-users.cs.umn.edu

Safe Nondeterminism in a Deterministic-by-Default Parallel Language Robert L. Bocchino Jr.1 Stephen Heumann2 Nima Honarmand2 Sarita V. Adve2

Source URL: www.adamwelc.org

• Software engineering
• Computing
• Computer programming
• Concurrency control
• Transaction processing
• Complexity classes
• Java
• Functional languages
• Deterministic Parallel Java
• Determinism
• Deterministic algorithm
• Linearizability